/* SPDX-License-Identifier: Apache-2.0 OR MIT
 *
 * SPDX-FileCopyrightText: Copyright 2018 Micron Technology, Inc.
 */

/*
 * Machine generated on Thu Aug 23 05:20:50 2018 by:
 *     ./page2prime bf_size2bits 4096 2048
 */
#ifndef BF_SIZE2BITS_I
#define BF_SIZE2BITS_I

/* bf_size2bits_tab[i] yields the largest prime number that does
 * not exceed ((i+1) * 4096 * 8).
 *
 * Example:  index=1 represents a bloom filter that is 8K in size.
 * There are 65536 bits in the bloom filter, and 65521 is the
 * largest prime number less than 65536.
 */
static
const uint32_t
bf_size2bits_tab[] = {
	    32749,    65521,    98299,   131071,   163819,   196597,   229373,   262139, // 0
	   294911,   327673,   360439,   393209,   425977,   458747,   491503,   524287, // 8
	   557041,   589811,   622577,   655357,   688111,   720887,   753659,   786431, // 16
	   819187,   851957,   884717,   917503,   950269,   982981,  1015769,  1048573, // 24
	  1081337,  1114111,  1146877,  1179641,  1212401,  1245169,  1277911,  1310719, // 32
	  1343479,  1376237,  1409017,  1441771,  1474559,  1507321,  1540087,  1572853, // 40
	  1605631,  1638353,  1671161,  1703903,  1736701,  1769441,  1802239,  1835003, // 48
	  1867771,  1900543,  1933301,  1966079,  1998839,  2031611,  2064379,  2097143, // 56
	  2129903,  2162681,  2195443,  2228221,  2260967,  2293757,  2326517,  2359267, // 64
	  2392057,  2424827,  2457569,  2490337,  2523133,  2555897,  2588671,  2621431, // 72
	  2654161,  2686973,  2719741,  2752499,  2785273,  2818043,  2850811,  2883577, // 80
	  2916343,  2949119,  2981887,  3014653,  3047423,  3080167,  3112943,  3145721, // 88
	  3178489,  3211213,  3244013,  3276799,  3309563,  3342331,  3375083,  3407857, // 96
	  3440627,  3473399,  3506171,  3538933,  3571699,  3604451,  3637223,  3670013, // 104
	  3702757,  3735547,  3768311,  3801073,  3833833,  3866623,  3899383,  3932153, // 112
	  3964913,  3997673,  4030463,  4063217,  4095991,  4128767,  4161527,  4194301, // 120
	  4227061,  4259837,  4292597,  4325359,  4358143,  4390909,  4423673,  4456433, // 128
	  4489193,  4521977,  4554751,  4587503,  4620283,  4653041,  4685809,  4718579, // 136
	  4751359,  4784107,  4816883,  4849651,  4882429,  4915171,  4947959,  4980727, // 144
	  5013479,  5046259,  5079037,  5111791,  5144569,  5177339,  5210099,  5242877, // 152
	  5275639,  5308379,  5341177,  5373931,  5406719,  5439479,  5472239,  5505023, // 160
	  5537789,  5570533,  5603291,  5636077,  5668829,  5701627,  5734357,  5767129, // 168
	  5799931,  5832679,  5865467,  5898209,  5930963,  5963773,  5996539,  6029299, // 176
	  6062053,  6094807,  6127609,  6160381,  6193133,  6225917,  6258677,  6291449, // 184
	  6324223,  6356983,  6389749,  6422519,  6455263,  6488023,  6520831,  6553577, // 192
	  6586357,  6619111,  6651857,  6684659,  6717433,  6750203,  6782969,  6815741, // 200
	  6848509,  6881269,  6914021,  6946813,  6979579,  7012337,  7045111,  7077883, // 208
	  7110647,  7143421,  7176181,  7208951,  7241723,  7274489,  7307239,  7340009, // 216
	  7372753,  7405547,  7438331,  7471099,  7503869,  7536637,  7569389,  7602151, // 224
	  7634933,  7667711,  7700479,  7733233,  7766009,  7798783,  7831517,  7864301, // 232
	  7897063,  7929833,  7962607,  7995391,  8028151,  8060891,  8093689,  8126453, // 240
	  8159219,  8191991,  8224763,  8257531,  8290297,  8323069,  8355827,  8388593, // 248
	  8421251,  8454143,  8486903,  8519647,  8552443,  8585209,  8617949,  8650727, // 256
	  8683517,  8716283,  8749049,  8781797,  8814577,  8847359,  8880107,  8912887, // 264
	  8945663,  8978381,  9011183,  9043967,  9076733,  9109483,  9142229,  9175037, // 272
	  9207787,  9240523,  9273323,  9306097,  9338863,  9371629,  9404399,  9437179, // 280
	  9469939,  9502697,  9535469,  9568219,  9601013,  9633787,  9666551,  9699323, // 288
	  9732091,  9764863,  9797603,  9830393,  9863149,  9895889,  9928693,  9961463, // 296
	  9994223, 10026979, 10059761, 10092539, 10125307, 10158079, 10190827, 10223593, // 304
	 10256369, 10289141, 10321919, 10354667, 10387427, 10420217, 10452973, 10485751, // 312
	 10518527, 10551263, 10584061, 10616831, 10649593, 10682339, 10715129, 10747903, // 320
	 10780661, 10813423, 10846193, 10878961, 10911731, 10944511, 10977259, 11010037, // 328
	 11042813, 11075573, 11108347, 11141113, 11173873, 11206649, 11239421, 11272181, // 336
	 11304959, 11337727, 11370449, 11403247, 11436023, 11468797, 11501557, 11534329, // 344
	 11567099, 11599867, 11632637, 11665403, 11698171, 11730931, 11763707, 11796469, // 352
	 11829227, 11862013, 11894767, 11927551, 11960309, 11993083, 12025823, 12058621, // 360
	 12091381, 12124157, 12156899, 12189677, 12222461, 12255227, 12287999, 12320753, // 368
	 12353533, 12386299, 12419063, 12451807, 12484603, 12517339, 12550123, 12582893, // 376
	 12615653, 12648439, 12681209, 12713959, 12746737, 12779483, 12812243, 12845033, // 384
	 12877807, 12910591, 12943327, 12976121, 13008883, 13041661, 13074427, 13107197, // 392
	 13139947, 13172729, 13205477, 13238263, 13271039, 13303799, 13336571, 13369333, // 400
	 13402099, 13434853, 13467647, 13500373, 13533161, 13565897, 13598719, 13631477, // 408
	 13664251, 13697023, 13729783, 13762549, 13795307, 13828093, 13860859, 13893613, // 416
	 13926391, 13959163, 13991933, 14024671, 14057467, 14090239, 14123003, 14155763, // 424
	 14188529, 14221309, 14254073, 14286809, 14319601, 14352367, 14385139, 14417881, // 432
	 14450669, 14483437, 14516219, 14548979, 14581757, 14614507, 14647273, 14680063, // 440
	 14712811, 14745559, 14778367, 14811133, 14843903, 14876657, 14909429, 14942197, // 448
	 14974931, 15007723, 15040489, 15073277, 15106043, 15138793, 15171539, 15204349, // 456
	 15237113, 15269869, 15302647, 15335407, 15368189, 15400951, 15433727, 15466463, // 464
	 15499219, 15531977, 15564799, 15597559, 15630313, 15663083, 15695857, 15728611, // 472
	 15761407, 15794171, 15826933, 15859687, 15892453, 15925241, 15958013, 15990781, // 480
	 16023547, 16056317, 16089077, 16121849, 16154609, 16187359, 16220143, 16252919, // 488
	 16285669, 16318459, 16351217, 16383977, 16416761, 16449529, 16482281, 16515067, // 496
	 16547837, 16580587, 16613347, 16646099, 16678901, 16711661, 16744447, 16777213, // 504
	 16809979, 16842751, 16875503, 16908263, 16941053, 16973767, 17006537, 17039339, // 512
	 17072123, 17104891, 17137663, 17170429, 17203129, 17235961, 17268707, 17301463, // 520
	 17334223, 17367029, 17399807, 17432561, 17465339, 17498111, 17530879, 17563633, // 528
	 17596409, 17629123, 17661947, 17694709, 17727473, 17760251, 17793023, 17825791, // 536
	 17858549, 17891299, 17924083, 17956849, 17989627, 18022399, 18055159, 18087899, // 544
	 18120689, 18153431, 18186199, 18219001, 18251773, 18284533, 18317309, 18350063, // 552
	 18382843, 18415597, 18448361, 18481097, 18513917, 18546617, 18579443, 18612211, // 560
	 18644987, 18677723, 18710521, 18743281, 18776033, 18808831, 18841549, 18874367, // 568
	 18907129, 18939901, 18972661, 19005433, 19038199, 19070971, 19103713, 19136503, // 576
	 19169273, 19202041, 19234811, 19267561, 19300343, 19333103, 19365887, 19398647, // 584
	 19431413, 19464173, 19496959, 19529717, 19562483, 19595249, 19628029, 19660799, // 592
	 19693561, 19726331, 19759097, 19791869, 19824631, 19857371, 19890161, 19922923, // 600
	 19955711, 19988477, 20021233, 20054011, 20086771, 20119543, 20152313, 20185051, // 608
	 20217839, 20250577, 20283391, 20316151, 20348921, 20381689, 20414441, 20447191, // 616
	 20479999, 20512747, 20545531, 20578297, 20611057, 20643809, 20676589, 20709347, // 624
	 20742109, 20774909, 20807629, 20840429, 20873207, 20905979, 20938751, 20971507, // 632
	 21004273, 21037021, 21069791, 21102583, 21135349, 21168113, 21200867, 21233651, // 640
	 21266411, 21299167, 21331963, 21364727, 21397501, 21430259, 21463031, 21495797, // 648
	 21528553, 21561341, 21594107, 21626819, 21659641, 21692387, 21725183, 21757951, // 656
	 21790711, 21823453, 21856253, 21889019, 21921773, 21954547, 21987299, 22020091, // 664
	 22052839, 22085621, 22118399, 22151167, 22183883, 22216673, 22249463, 22282199, // 672
	 22315003, 22347769, 22380521, 22413289, 22446079, 22478803, 22511609, 22544351, // 680
	 22577143, 22609919, 22642687, 22675403, 22708223, 22740961, 22773743, 22806521, // 688
	 22839263, 22872053, 22904807, 22937591, 22970351, 23003131, 23035843, 23068667, // 696
	 23101439, 23134201, 23166943, 23199731, 23232499, 23265247, 23298043, 23330773, // 704
	 23363581, 23396339, 23429117, 23461877, 23494651, 23527409, 23560189, 23592937, // 712
	 23625703, 23658493, 23691257, 23724031, 23756791, 23789561, 23822317, 23855101, // 720
	 23887849, 23920607, 23953387, 23986159, 24018937, 24051683, 24084479, 24117217, // 728
	 24150001, 24182773, 24215537, 24248299, 24281071, 24313853, 24346607, 24379391, // 736
	 24412151, 24444881, 24477667, 24510463, 24543229, 24575977, 24608747, 24641479, // 744
	 24674269, 24707071, 24739807, 24772603, 24805373, 24838127, 24870863, 24903667, // 752
	 24936427, 24969193, 25001981, 25034731, 25067501, 25100287, 25133051, 25165813, // 760
	 25198583, 25231351, 25264123, 25296893, 25329659, 25362431, 25395179, 25427957, // 768
	 25460731, 25493483, 25526269, 25559033, 25591799, 25624567, 25657339, 25690097, // 776
	 25722877, 25755619, 25788397, 25821179, 25853939, 25886719, 25919483, 25952243, // 784
	 25985023, 26017759, 26050547, 26083273, 26116081, 26148853, 26181619, 26214379, // 792
	 26247149, 26279899, 26312681, 26345471, 26378201, 26411003, 26443757, 26476543, // 800
	 26509283, 26542067, 26574797, 26607611, 26640379, 26673149, 26705909, 26738687, // 808
	 26771449, 26804203, 26836981, 26869753, 26902523, 26935267, 26968033, 27000817, // 816
	 27033593, 27066359, 27099131, 27131903, 27164617, 27197413, 27230201, 27262931, // 824
	 27295739, 27328507, 27361277, 27394019, 27426809, 27459581, 27492347, 27525109, // 832
	 27557879, 27590653, 27623353, 27656149, 27688951, 27721721, 27754481, 27787213, // 840
	 27820021, 27852791, 27885563, 27918323, 27951103, 27983863, 28016633, 28049407, // 848
	 28082161, 28114943, 28147711, 28180459, 28213219, 28246003, 28278781, 28311541, // 856
	 28344319, 28377077, 28409833, 28442551, 28475383, 28508153, 28540921, 28573673, // 864
	 28606463, 28639231, 28671989, 28704749, 28737529, 28770293, 28803059, 28835819, // 872
	 28868603, 28901311, 28934137, 28966909, 28999667, 29032441, 29065171, 29097977, // 880
	 29130727, 29163481, 29196263, 29229047, 29261807, 29294581, 29327357, 29360087, // 888
	 29392889, 29425637, 29458411, 29491193, 29523961, 29556719, 29589499, 29622269, // 896
	 29654983, 29687783, 29720519, 29753341, 29786093, 29818871, 29851597, 29884411, // 904
	 29917171, 29949943, 29982677, 30015481, 30048251, 30081019, 30113737, 30146531, // 912
	 30179327, 30212093, 30244861, 30277627, 30310391, 30343129, 30375929, 30408701, // 920
	 30441457, 30474239, 30506963, 30539749, 30572491, 30605303, 30638077, 30670847, // 928
	 30703559, 30736379, 30769139, 30801917, 30834659, 30867439, 30900193, 30932987, // 936
	 30965749, 30998509, 31031267, 31064063, 31096817, 31129597, 31162361, 31195117, // 944
	 31227899, 31260653, 31293439, 31326181, 31358933, 31391729, 31424479, 31457269, // 952
	 31490023, 31522747, 31555571, 31588351, 31621097, 31653871, 31686653, 31719409, // 960
	 31752191, 31784941, 31817719, 31850491, 31883239, 31916011, 31948783, 31981567, // 968
	 32014331, 32047097, 32079857, 32112607, 32145403, 32178169, 32210939, 32243707, // 976
	 32276467, 32309243, 32342003, 32374781, 32407549, 32440319, 32473073, 32505829, // 984
	 32538619, 32571373, 32604137, 32636921, 32669671, 32702443, 32735203, 32767997, // 992
	 32800741, 32833531, 32866303, 32899037, 32931817, 32964559, 32997359, 33030121, // 1000
	 33062903, 33095677, 33128423, 33161201, 33193981, 33226741, 33259517, 33292283, // 1008
	 33325027, 33357811, 33390569, 33423319, 33456113, 33488891, 33521647, 33554393, // 1016
	 33587173, 33619919, 33652727, 33685493, 33718261, 33751019, 33783773, 33816571, // 1024
	 33849341, 33882103, 33914863, 33947621, 33980383, 34013183, 34045943, 34078699, // 1032
	 34111487, 34144207, 34177001, 34209787, 34242547, 34275301, 34308089, 34340861, // 1040
	 34373623, 34406399, 34439159, 34471933, 34504699, 34537427, 34570229, 34602991, // 1048
	 34635767, 34668527, 34701287, 34734079, 34766843, 34799563, 34832381, 34865141, // 1056
	 34897913, 34930619, 34963421, 34996223, 35028991, 35061751, 35094517, 35127263, // 1064
	 35160049, 35192831, 35225569, 35258347, 35291129, 35323903, 35356669, 35389423, // 1072
	 35422207, 35454943, 35487743, 35520467, 35553257, 35586017, 35618813, 35651579, // 1080
	 35684351, 35717111, 35749871, 35782613, 35815411, 35848187, 35880941, 35913727, // 1088
	 35946481, 35979257, 36012029, 36044797, 36077567, 36110311, 36143101, 36175871, // 1096
	 36208633, 36241397, 36274159, 36306937, 36339689, 36372463, 36405241, 36438013, // 1104
	 36470773, 36503531, 36536309, 36569083, 36601841, 36634621, 36667391, 36700159, // 1112
	 36732911, 36765683, 36798451, 36831227, 36863999, 36896767, 36929533, 36962291, // 1120
	 36995053, 37027831, 37060607, 37093373, 37126139, 37158911, 37191677, 37224437, // 1128
	 37257193, 37289957, 37322749, 37355503, 37388249, 37421053, 37453813, 37486591, // 1136
	 37519343, 37552091, 37584889, 37617653, 37650421, 37683199, 37715959, 37748717, // 1144
	 37781503, 37814267, 37847011, 37879783, 37912573, 37945339, 37978111, 38010871, // 1152
	 38043647, 38076407, 38109167, 38141951, 38174683, 38207479, 38240219, 38273023, // 1160
	 38305789, 38338541, 38371313, 38404081, 38436859, 38469617, 38502389, 38535151, // 1168
	 38567933, 38600701, 38633459, 38666219, 38698993, 38731769, 38764513, 38797303, // 1176
	 38830061, 38862797, 38895611, 38928371, 38961151, 38993917, 39026657, 39059431, // 1184
	 39092219, 39124991, 39157759, 39190519, 39223273, 39255967, 39288829, 39321599, // 1192
	 39354361, 39387067, 39419893, 39452671, 39485417, 39518201, 39550967, 39583727, // 1200
	 39616487, 39649277, 39682037, 39714799, 39747577, 39780343, 39813119, 39845887, // 1208
	 39878621, 39911423, 39944189, 39976939, 40009703, 40042469, 40075253, 40108027, // 1216
	 40140799, 40173557, 40206319, 40239103, 40271863, 40304633, 40337393, 40370173, // 1224
	 40402933, 40435699, 40468471, 40501231, 40534009, 40566749, 40599547, 40632313, // 1232
	 40665083, 40697851, 40730593, 40763369, 40796159, 40828927, 40861673, 40894457, // 1240
	 40927219, 40959979, 40992767, 41025499, 41058299, 41091047, 41123837, 41156569, // 1248
	 41189371, 41222143, 41254883, 41287651, 41320429, 41353201, 41385977, 41418739, // 1256
	 41451481, 41484271, 41517053, 41549803, 41582579, 41615347, 41648119, 41680871, // 1264
	 41713663, 41746423, 41779189, 41811949, 41844731, 41877499, 41910263, 41943023, // 1272
	 41975777, 42008567, 42041341, 42074101, 42106873, 42139619, 42172397, 42205183, // 1280
	 42237947, 42270707, 42303479, 42336253, 42369017, 42401773, 42434537, 42467317, // 1288
	 42500083, 42532859, 42565619, 42598397, 42631163, 42663917, 42696697, 42729437, // 1296
	 42762169, 42795007, 42827773, 42860537, 42893311, 42926069, 42958843, 42991609, // 1304
	 43024369, 43057151, 43089899, 43122683, 43155439, 43188203, 43220951, 43253759, // 1312
	 43286519, 43319293, 43352051, 43384813, 43417597, 43450357, 43483109, 43515881, // 1320
	 43548647, 43581437, 43614199, 43646963, 43679731, 43712447, 43745279, 43778011, // 1328
	 43810801, 43843537, 43876307, 43909111, 43941871, 43974613, 44007421, 44040187, // 1336
	 44072933, 44105689, 44138489, 44171261, 44204021, 44236799, 44269567, 44302303, // 1344
	 44335097, 44367833, 44400611, 44433391, 44466167, 44498941, 44531693, 44564461, // 1352
	 44597243, 44630011, 44662771, 44695549, 44728297, 44761069, 44793839, 44826611, // 1360
	 44859389, 44892143, 44924927, 44957687, 44990459, 45023203, 45055993, 45088739, // 1368
	 45121529, 45154283, 45187049, 45219827, 45252583, 45285371, 45318139, 45350869, // 1376
	 45383671, 45416411, 45449207, 45481973, 45514751, 45547517, 45580279, 45613039, // 1384
	 45645791, 45678559, 45711331, 45744121, 45776893, 45809657, 45842411, 45875191, // 1392
	 45907949, 45940711, 45973489, 46006249, 46039003, 46071769, 46104571, 46137319, // 1400
	 46170109, 46202867, 46235647, 46268381, 46301173, 46333943, 46366711, 46399471, // 1408
	 46432237, 46465019, 46497791, 46530557, 46563301, 46596089, 46628861, 46661627, // 1416
	 46694399, 46727143, 46759927, 46792699, 46825453, 46858211, 46891001, 46923761, // 1424
	 46956541, 46989281, 47022067, 47054809, 47087609, 47120377, 47153143, 47185907, // 1432
	 47218679, 47251447, 47284201, 47316991, 47349749, 47382527, 47415281, 47448061, // 1440
	 47480827, 47513563, 47546363, 47579131, 47611873, 47644669, 47677373, 47710207, // 1448
	 47742971, 47775697, 47808499, 47841257, 47874011, 47906797, 47939561, 47972341, // 1456
	 48005101, 48037883, 48070651, 48103417, 48136189, 48168943, 48201709, 48234451, // 1464
	 48267257, 48300029, 48332783, 48365563, 48398333, 48431063, 48463861, 48496639, // 1472
	 48529361, 48562127, 48594943, 48627697, 48660467, 48693223, 48726011, 48758783, // 1480
	 48791539, 48824299, 48857063, 48889837, 48922603, 48955373, 48988157, 49020913, // 1488
	 49053691, 49086451, 49119227, 49151987, 49184683, 49217527, 49250297, 49283063, // 1496
	 49315817, 49348601, 49381363, 49414111, 49446907, 49479653, 49512443, 49545193, // 1504
	 49577953, 49610741, 49643509, 49676267, 49709047, 49741807, 49774577, 49807327, // 1512
	 49840081, 49872887, 49905649, 49938431, 49971193, 50003939, 50036699, 50069497, // 1520
	 50102263, 50135027, 50167801, 50200573, 50233303, 50266087, 50298839, 50331599, // 1528
	 50364409, 50397167, 50429947, 50462683, 50495479, 50528227, 50561011, 50593783, // 1536
	 50626487, 50659321, 50692093, 50724859, 50757617, 50790391, 50823161, 50855899, // 1544
	 50888699, 50921461, 50954227, 50987003, 51019747, 51052543, 51085301, 51118069, // 1552
	 51150839, 51183599, 51216367, 51249131, 51281917, 51314677, 51347449, 51380179, // 1560
	 51412961, 51445747, 51478519, 51511277, 51544061, 51576829, 51609541, 51642341, // 1568
	 51675133, 51707893, 51740657, 51773431, 51806207, 51838949, 51871733, 51904511, // 1576
	 51937273, 51970033, 52002773, 52035569, 52068323, 52101109, 52133869, 52166641, // 1584
	 52199417, 52232183, 52264951, 52297717, 52330493, 52363231, 52396013, 52428767, // 1592
	 52461557, 52494329, 52527103, 52559867, 52592629, 52625407, 52658159, 52690919, // 1600
	 52723709, 52756453, 52789223, 52821983, 52854779, 52887533, 52920313, 52953077, // 1608
	 52985843, 53018621, 53051389, 53084147, 53116901, 53149673, 53182447, 53215229, // 1616
	 53247991, 53280763, 53313523, 53346301, 53379071, 53411767, 53444597, 53477357, // 1624
	 53510143, 53542901, 53575663, 53608441, 53641193, 53673979, 53706739, 53739493, // 1632
	 53772281, 53805049, 53837821, 53870573, 53903351, 53936111, 53968891, 54001663, // 1640
	 54034417, 54067163, 54099959, 54132721, 54165497, 54198259, 54231019, 54263789, // 1648
	 54296563, 54329291, 54362111, 54394877, 54427627, 54460381, 54493183, 54525917, // 1656
	 54558689, 54591479, 54624253, 54656983, 54689773, 54722557, 54755303, 54788089, // 1664
	 54820849, 54853583, 54886393, 54919159, 54951917, 54984679, 55017439, 55050217, // 1672
	 55082981, 55115773, 55148521, 55181311, 55214063, 55246837, 55279561, 55312351, // 1680
	 55345151, 55377911, 55410683, 55443433, 55476221, 55508983, 55541753, 55574507, // 1688
	 55607291, 55640063, 55672823, 55705589, 55738357, 55771091, 55803887, 55836659, // 1696
	 55869421, 55902181, 55934971, 55967701, 56000507, 56033203, 56066047, 56098813, // 1704
	 56131571, 56164349, 56197091, 56229881, 56262649, 56295397, 56328169, 56360911, // 1712
	 56393717, 56426483, 56459239, 56491993, 56524771, 56557559, 56590271, 56623093, // 1720
	 56655847, 56688637, 56721397, 56754167, 56786941, 56819699, 56852479, 56885219, // 1728
	 56918011, 56950741, 56983543, 57016319, 57049087, 57081811, 57114581, 57147379, // 1736
	 57180157, 57212921, 57245693, 57278461, 57311207, 57343981, 57376741, 57409529, // 1744
	 57442283, 57475069, 57507829, 57540599, 57573371, 57606139, 57638909, 57671671, // 1752
	 57704417, 57737209, 57769981, 57802739, 57835499, 57868273, 57901021, 57933817, // 1760
	 57966589, 57999341, 58032127, 58064861, 58097657, 58130393, 58163143, 58195939, // 1768
	 58228721, 58261501, 58294267, 58327039, 58359797, 58392571, 58425337, 58458091, // 1776
	 58490869, 58523623, 58556389, 58589161, 58621951, 58654711, 58687487, 58720253, // 1784
	 58753021, 58785781, 58818553, 58851307, 58884079, 58916863, 58949573, 58982389, // 1792
	 59015161, 59047927, 59080691, 59113469, 59146229, 59179007, 59211769, 59244539, // 1800
	 59277311, 59310079, 59342839, 59375587, 59408359, 59441147, 59473913, 59506679, // 1808
	 59539427, 59572223, 59604973, 59637733, 59670521, 59703289, 59736049, 59768831, // 1816
	 59801591, 59834329, 59867117, 59899901, 59932627, 59965429, 59998207, 60030953, // 1824
	 60063739, 60096481, 60129263, 60162029, 60194801, 60227581, 60260341, 60293119, // 1832
	 60325871, 60358637, 60391391, 60424183, 60456931, 60489713, 60522487, 60555227, // 1840
	 60588013, 60620761, 60653563, 60686321, 60719089, 60751861, 60784637, 60817397, // 1848
	 60850171, 60882929, 60915683, 60948479, 60981223, 61014001, 61046767, 61079531, // 1856
	 61112291, 61145087, 61177841, 61210603, 61243387, 61276151, 61308913, 61341659, // 1864
	 61374461, 61407223, 61439999, 61472753, 61505513, 61538297, 61571051, 61603811, // 1872
	 61636607, 61669373, 61702133, 61734899, 61767677, 61800437, 61833209, 61865971, // 1880
	 61898747, 61931491, 61964281, 61997053, 62029823, 62062573, 62095357, 62128127, // 1888
	 62160871, 62193641, 62226421, 62259193, 62291959, 62324729, 62357467, 62390261, // 1896
	 62423027, 62455781, 62488567, 62521331, 62554111, 62586871, 62619647, 62652407, // 1904
	 62685163, 62717939, 62750683, 62783477, 62816251, 62849021, 62881771, 62914549, // 1912
	 62947309, 62980069, 63012857, 63045613, 63078373, 63111151, 63143929, 63176693, // 1920
	 63209453, 63242239, 63274979, 63307763, 63340523, 63373309, 63406051, 63438839, // 1928
	 63471593, 63504377, 63537151, 63569917, 63602683, 63635443, 63668219, 63700991, // 1936
	 63733757, 63766523, 63799289, 63832057, 63864817, 63897593, 63930359, 63963131, // 1944
	 63995881, 64028669, 64061429, 64094207, 64126969, 64159723, 64192501, 64225267, // 1952
	 64258043, 64290799, 64323583, 64356349, 64389089, 64421881, 64454653, 64487417, // 1960
	 64520189, 64552931, 64585727, 64618493, 64651253, 64684013, 64716797, 64749563, // 1968
	 64782313, 64815103, 64847837, 64880587, 64913389, 64946159, 64978943, 65011703, // 1976
	 65044451, 65077231, 65109929, 65142769, 65175533, 65208307, 65241067, 65273851, // 1984
	 65306623, 65339387, 65372147, 65404909, 65437679, 65470453, 65503211, 65535989, // 1992
	 65568761, 65601533, 65634301, 65667067, 65699839, 65732599, 65765363, 65798137, // 2000
	 65830909, 65863667, 65896429, 65929211, 65961983, 65994739, 66027517, 66060277, // 2008
	 66093011, 66125819, 66158591, 66191351, 66224089, 66256891, 66289631, 66322427, // 2016
	 66355193, 66387967, 66420721, 66453479, 66486253, 66519023, 66551783, 66584561, // 2024
	 66617311, 66650069, 66682879, 66715643, 66748399, 66781177, 66813949, 66846709, // 2032
	 66879443, 66912253, 66945013, 66977767, 67010551, 67043303, 67076077, 67108859, // 2040
};

/**
 * bf_size2bits() - convert %sz to a prime number of bits
 * @sz:     size of object in bytes
 *
 * Return:
 *     Returns the largest prime less than ((%sz / 4096) * 4096 * CHAR_BIT).
 */
static
size_t
bf_size2bits(size_t sz)
{
	ulong idx = sz / 4096;

	assert(idx > 0 && idx < ARRAY_SIZE(bf_size2bits_tab));

	if (idx > 0 && idx < ARRAY_SIZE(bf_size2bits_tab))
		return bf_size2bits_tab[idx - 1];

	return sz << BYTE_SHIFT;
}
#endif
